国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文OA文獻(xiàn) >Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
【2h】

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations

機(jī)譯：代數(shù)（bi）模擬中性質(zhì)的反射和保留

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻(xiàn)查詢和代理獲取服務(wù)，本網(wǎng)站沒有原文。下單后我們將采用程序或人工為您竭誠獲取高質(zhì)量的原文，但由于OA文獻(xiàn)來源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻(xiàn)不完整或與標(biāo)題不符等情況，如果獲取不到我們將提供退款服務(wù)。請(qǐng)知悉。
  • 摘要
  • 著錄項(xiàng)
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of bisimulation is the classical one, while for simulations we use that proposed by Hughes and Jacobs. As for properties, we start by using a generalization of linear temporal logic to arbitrary coalgebras suggested by Jacobs, and then an extension by Kurtz which includes atomic propositions too.
機(jī)譯：我們的目標(biāo)是通過雙仿真將標(biāo)準(zhǔn)保存和反映屬性的標(biāo)準(zhǔn)結(jié)果擴(kuò)展到煤代環(huán)境，并研究這些結(jié)果在何種條件下適合仿真。雙仿真的概念是經(jīng)典的，而對(duì)于仿真，我們使用休斯和雅各布斯提出的仿真。至于屬性，我們首先使用線性時(shí)態(tài)邏輯到雅各布斯（Jacobs）提出的任意合并代數(shù)的推廣，然后是庫爾茲（Kurtz）的擴(kuò)展，其中也包括原子命題。

著錄項(xiàng)

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號(hào) ICP備案號(hào)：京ICP備15016152號(hào)-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號(hào)